The menu bar contains the various commands to access the features of ProB. It includes the menus
The File submenu allows you to create a new Project, open an existing project or open or clear the list of recent projects.
You can save your project or machine, reload it, run an extended statistics analysis or take a look at the internal representation of the current machine. Furthermore, it is possible to export the model in different types.
In the menu "Preferences" you can customize the settings of the UI and the current project itself. The "Close Window" allows you to close the ProB 2 UI.
This submenu allows you to adjust and reset the size of the layout in the ProB2 JavaFX UI or enter full screen mode.
The Visualisation submenu provides different forms of visualisation.
You can visualize the transition and states of the machine as a graph or table or by using the Magic Layout, a tool for interactive and customizable state visualisation.
Furthermore, the history chart shows a chart of the chosen formulas.
This submenu provides a Groovy and a ProB core console and allows you to manage your plugins and own visualisations.
The [SimB]-option provides automatic simulations for formal models.
The Window submenu allows you to change perspectives and detach components as described above.
This UI comes with 3 different preset perspectives. It allows you to use your own perspective as well by providing a FXML file containing the views but be aware that this might ruin the ability to detach components.
The Help submenu provides you with help about the ProB2 JavaFX UI, information about the ProB2 UI (containing details about the ProB2 kernel, the ProB CLI and the Java version used), a way to report issues regarding the ProB2 JavaFX UI and an overview about the syntax of specific languages, e.g. B, TLA or CSP.